Representing Text Eventualities in a Logic Programming Framework
نویسندگان
چکیده
In this paper we present a language with a temporal ontology adequate for representing the facts retrieved from a text. The semantics of this representation language completes some of the information conveyed by text sentences in a suitable way for the pragmatic interpretation of text temporal entities. We also present the translation of the knowledge base language into a Logic Programming framework, the contradiction removal system 14].
منابع مشابه
Invariant-Free Deduction Systems for Temporal Logic
In this thesis we propose a new approach to deductionmethods for temporal logic. Our proposal is based on an inductive definition of eventualities that is different from the usual one. On the basis of this non-customary inductive definition for eventualities, we first provide dual systems of tableaux and sequents for Propositional Linear-time Temporal Logic (PLTL). Then, we adapt the deductive ...
متن کاملQuantifying Over Eventualities in Continuation Semantics
The paper explores the possibilities of representing the semantics of eventualities in continuation semantics framework. It focuses on providing an analysis for quantification over eventualities and for anaphora to eventualities. We give specific lexical entries for the adverbial quantifiers always and never and for a silent adverbial quantifier we consider responsible for the meaning of expres...
متن کاملA Calculus of Eventualities
The present paper sketches how the event calculus of Kowalski and Sergot may be extended to address the problems of aspectual composition and the imperfective paradox. The primary extensions include the introduction of additional types of eventualities and a distinction between actual and non-actual entities. The calculus has been implemented as a logic program, and the inferences automatically...
متن کاملSystematic literature review of fuzzy logic based text summarization
Information Overloadrq is not a new term but with the massive development in technology which enables anytime, anywhere, easy and unlimited access; participation & publishing of information has consequently escalated its impact. Assisting userslq informational searches with reduced reading surfing time by extracting and evaluating accurate, authentic & relevant information are the primary c...
متن کاملThe problem of coincidence in a theory of temporal multiple recurrence
Logical theories have been developed which have allowed temporal reasoning about eventualities (a la Galton) such as states, processes, actions, events, processes and complex eventualities such as sequences and recurrences of other eventualities. This paper presents the problem of coincidence within the framework of a first order logical theory formalizing temporal multiple recurrence of two se...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007